$x$ $<<$ $y$ $\in$ $l$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($x$ $\in$ $l$) \& ($y$ $\in$ $l$) \& ($\forall$$i$, $j$:$\mathbb{N}$. $i$$<\parallel$$l$$\parallel$ $\Rightarrow$ $j$$<\parallel$$l$$\parallel$ $\Rightarrow$ $l$[$i$] $=$ $x$ $\Rightarrow$ $l$[$j$] $=$ $y$ $\Rightarrow$ $i$$<$$j$)